distributive lattice

theory A lattice for which the least upper bound (lub)

and greatest lower bound (glb) operators distribute over one

another so that

a lub (b glb c) == (a lub c) glb (a lub b)

and vice versa.

("lub" and "glb" are written in LateX as sqcup and

sqcap).

(1998-11-09)